[Type text] Indicators of the Strength of Public Management Systems (ISPMS) Summary of the iChallenge October 2014

Source URL: www.effectiveinstitutions.org

Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Functional languages
• Type theory
• Automated theorem proving
• Hybrid automaton
• Numerical analysis
• Proof assistant
• Coq
• Verification
• OCaml
• Model checking
• Discretization

Programmable RF thermostat type RFWRT Introduction This thermostat can replace any standard room thermostat, and is designed for use with gas or oil heating systems. If you wish to control electric heating note that the

Source URL: www.tfc-group.co.uk

Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang

Source URL: software.imdea.org

• Computing
• Data types
• Software engineering
• Computer programming
• Abstract data types
• Fault-tolerant computer systems
• Type theory
• Consistency model
• Transaction processing
• Replication
• String
• List

Type-Based Race Detection for Java (summary) 1 Cormac Flanagan Compaq Systems Research Center

Source URL: dept.cs.williams.edu

Operational Aspects of Type Systems

Source URL: ilyasergey.net

• Dutch-language literature
• South American literature
• Surinamese literature
• Draft:B. Amsterdam

INFRARED SPECTROSCOPY OF SYMBIOTIC STARS. X. ORBITS FOR THREE S-TYPE SYSTEMS: V1044 CENTAURI, HEN, AND SS 73-96

Source URL: schwab.tsuniv.edu

Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi and Takashi Suto Tohoku University {koba,tsuto}@kb.ecei.tohoku.ac.jp

Source URL: www-kb.is.s.u-tokyo.ac.jp

International Journal of Foundations of Computer Science c World Scientific Publishing Company COMPOSITIONAL TYPE SYSTEMS FOR STACK-BASED LOW-LEVEL LANGUAGES

Source URL: cs.ioc.ee

Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Combinatory logic
• Pure type system
• Lambda cube
• Fixed-point combinator
• Calculus of constructions
• Explicit substitution
• Natural deduction